منابع مشابه
Fictional Women in Mathematics
This article will argue that the situation for female mathematicians in fiction has improved, but that there is still cause for concern. You may wonder why you should care about this at all since these fictional women are (by definition) not real and therefore unlikely to be dues paying members of the AWM! With this in mind, in addition to providing examples of female mathematicians in literatu...
متن کاملFictional Planet Ballardia
The Rock Cycle is a useful pedagogical device. Science-fiction novelist James G. Ballard published a colorful description of a nameless fictional world in 1957 that has an artificially closed Rock Cycle. Were such an anthropogenic cycle instigated for Earth, it would be consistent with James Hutton’s viewpoint on the Earth as a self-repairing machine without an endogenetic end to planetary Geol...
متن کاملFictional Game Elements 2016
Gamification has been widely accepted in the HCI community in the last few years. However, the current debate is focused on its short-term consequences, such as effectiveness and usefulness, while its side-effects, long-term criticalities and systemic impacts are rarely raised. This workshop explores the gamification design space from a critical perspective, by using design fictions to help res...
متن کاملFictional Separation Logic
Separation logic formalizes the idea of local reasoning for heap-manipulating programs via the frame rule and the separating conjunction P ∗ Q, which describes states that can be split into separate parts, with one satisfying P and the other satisfying Q. In standard separation logic, separation means physical separation. In this paper, we introduce fictional separation logic, which includes mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Organon F
سال: 2021
ISSN: ['1335-0668', '2585-7150']
DOI: https://doi.org/10.31577/orgf.2021.28105